Prove that sinx sin3x